Tours, 29 avenue André Malraux

A conjecture of Yves André . ∗

The introduction to [2] (and references contained therein) contains a comprehensive exposition of terminology and notations relative to this conjecture. Since we use the same terminology and notations, we do not reproduce them here. The introduction to [2] also contains an exposition of results on this conjecture obtained before the article [3] came out. In this article we prove the following t...

François Bach and André Herbelin

Reals which Compute Little André

We investigate combinatorial lowness properties of sets of natural numbers (reals). The real A is super-low if A′ ≤tt ∅′, and A is jump-traceable if the values of {e}A(e) can be effectively approximated in a sense to be specified. We investigate those properties, in particular showing that super-lowness and jump-traceability coincide within the r.e. sets but none of the properties implies the o...

DPRS / SAE 2 avenue

In this extended abstract we present a methodology that able us to validate/invalidate the System Requirements Document. The approach we suggest is not a brand new one. Nevertheless because it combines semi formal and formal notations, it allows overcoming the traditional formal specification phase, which is very often mandatory for the development of software intensive system. Our paper is org...

Networking Off Madison Avenue

New York County, or Manhattan, accounts for 24% of ad agency receipts in the USA. Years ago the popular image had large agencies on Madison Avenue generating this business. But today there are over 1000 agencies in different clusters spread over different neighborhoods in the southern half of Manhattan. In clustering, advertising is known for the key role that networking plays in the operation ...